281. Tapsof: Proceedings of the International Joint Conference on theary and Practice of Software Development
پدیدآورنده : Internation Joint Conference on theory and Practice of Software Development,edited by G.Goos and J. Hartmanis
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer Software - Development - Cpngresses,، Software Engineering - Congresses,، Trees )Graph theay(- Data Processing - Congresses
رده :
QA
76
.
76
.
D47
I57
1985
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
282. Tapsoft, 91 Proceedings of the internation Join Conference on Theory and Practice of Software Development
پدیدآورنده : International Joint Conference on the any and Practice of Software Development,S.Abramsky, T.S.E.Maibaum; editor by G.Goos and J.Hartmanis
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer Software - Developmenyt - Congresses,، Software - engineering - Congresses
رده :
QA
76
.
76
.
D47
I57A
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
283. Tenth Conference on Software Engineering Education & Training: April 13-16, 1997, Virginia Beach, Virginia
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Software engineering-- Study and teaching )Higher(
رده :
QA
76
.
758
.
C687
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
284. Testing software and systems.
پدیدآورنده : \ Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Testing -- Congresses,Software engineering -- Congresses,نرمافزار -- آزمایش -- کنگره ها,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
76
.
76
.
T48
I34
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
285. The First International Coference on Requirements Engineering, April 18- 22, 1994
پدیدآورنده : International Coference on Requirements Engineering )1st: 4991 : Colorado Springs, Colorado(
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Software engineering- Congresses
![](/design/images/bookmore.png)
286. The common component modeling example
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Component software ; Congresses. ; Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ;
![](/design/images/bookmore.png)
287. Theory of Cryptography
پدیدآورنده : \ Björn Franke (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Compilers (Computer programs) -- Congresses.,Programming Languages, Compilers, Interpreters.,Software engineering.,Programming Techniques.,کامپایلرها (برنامه کامپیوتر) -- کنگره ها,زبانهای برنامه نویسی ,مهندسی نرم افزار
رده :
QA76
.
76
.
T46
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
288. Third International Conference on Software Engineering for Real Time Systems, 16-18 September 1991
پدیدآورنده : organised by the Computing and Control Division of the Institution of Electrical Engineers, in association with ACME Directorate of SERC ... ]et al.[
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Real-time data processing - Congresses , Software engineering - Congresses
رده :
QA
76
.
54
.
I56
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
289. Time-Frequency Domain for Segmentation and Classification of Non-stationary Signals
پدیدآورنده : / Ali Moukadem, Djaffar Ould Abdeslam, Alain Dieterlen.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Signal processing--Digital techniques--Data processing,Software engineering.,Information technology--Congresses,Software engineering--Congresses
رده :
TK5102
.
9
.
M685
2014
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
290. Trends and Applications in Software Engineering
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses,Software engineering,نرمافزار -- مهندسی -- کنگرهها,نرمافزار -- مهندسی
رده :
E-Book
,
![](/design/images/bookmore.png)
291. Trends and applications in software engineering :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
![](/design/images/bookmore.png)
292. Trends in software testing
پدیدآورنده : \ Hrushikesha Mohanty J.R. Mohanty Arunkumar Balakrishnan, Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses,نرمافزار -- مهندسی-- کنگرهها
رده :
E-book
,
![](/design/images/bookmore.png)
293. Verification, Model Checking, and Abstract Interpretation.
پدیدآورنده : \ Barbara Jobstmann , K. Rustan M. Leino (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نرمافزار -- راستیآزمایی -- کنگره ها,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- راستیآزمایی
رده :
.
V4
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
294. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
76
.
76
.
V47
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
295. Web Information Systems Engineering – WISE 2015
پدیدآورنده : \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer science.,Computer networks.,نرمافزار -- مهندسی -- کنگرهها ,علوم کامپیوتر,شبکههای رایانه ای
رده :
QA76
.
758
.
W41
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
296. agent systems V-Software engineering for multi
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
![](/design/images/bookmore.png)
297. based software engineering-Component
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Component software ; Congresses. ;
![](/design/images/bookmore.png)
298. based software engineering-Component
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
![](/design/images/bookmore.png)
299. based software engineering :-Knowledge
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
![](/design/images/bookmore.png)
300. based software engineering :-Search
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
![](/design/images/bookmore.png)